4837e93b0c73ff77b7c57471cc947a62e67ef1b8,src/test/java/com/jetbrains/jetpad/vclang/term/expr/visitor/NormalizationTest.java,NormalizationTest,NormalizationTest,#,51

Before Change



    DependentLink xMul = param("x", Nat());
    DependentLink yMul = param("y", Nat());
    mul = new FunctionDefinition(null, params(xMul, yMul), Nat(), null);
    DependentLink xMulMinusOne = param("x'", Nat());
    ElimTreeNode mulElimTree = top(xMul, branch(xMul, tail(yMul),
        clause(Prelude.ZERO, EmptyDependentLink.getInstance(), Zero()),

After Change



    DependentLink xMul = param("x", Nat());
    DependentLink yMul = param("y", Nat());
    mul = new FunctionDefinition(null);
    mul.setParameters(params(xMul, yMul));
    mul.setResultType(Nat());
    DependentLink xMulMinusOne = param("x'", Nat());
    ElimTreeNode mulElimTree = top(xMul, branch(xMul, tail(yMul),
        clause(Prelude.ZERO, EmptyDependentLink.getInstance(), Zero()),